数学中|是什么符号